Kugler, Hillel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Développements récents de l'analyse économique: LVe congrès annuel de l'Association française de science économique 2006 || Migrations et investissements directs étrangers dans l'espace européen (UE-15)

Souraya El Yaman, Maurice Kugler and Hillel Rapoport

Journal:

Revue économique

Year:

2007

File:

PDF, 788 KB

2007

2

Migration and Cross-Border Financial Flows

Kugler, Maurice, Levintal, Oren, Rapoport, Hillel

Journal:

The World Bank Economic Review

Year:

2017

Language:

english

File:

PDF, 169 KB

english, 2017

3

Supporting UML-based development of embedded systems by formal techniques

Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein

Journal:

Software & Systems Modeling

Year:

2008

Language:

english

File:

PDF, 896 KB

english, 2008

4

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - Synthesizing reactive systems from LSC requirements using the play-engine

Kugler, Hillel, Plock, Cory, Pnueli, Amir

Year:

2007

Language:

english

File:

PDF, 562 KB

english, 2007

5

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

Shavit, Yoli, Yordanov, Boyan, Dunn, Sara-Jane, Wintersteiger, Christoph M., Otani, Tomoki, Hamadi, Youssef, Livesey, Frederick J., Kugler, Hillel

Journal:

Year:

2016

Language:

english

File:

PDF, 1.63 MB

english, 2016

6

[IEEE 2019 International Symposium on VLSI Design, Automation and Test (VLSI-DAT) - Hsinchu, Taiwan (2019.4.22-2019.4.25)] 2019 International Symposium on VLSI Design, Automation and Test (VLSI-DAT) - TEMPO: Thermal-Efficient Management of Power in High-Throughput Network Switches

Munk, Tom, Kugler, Hillel, Maori, Ofir, Teman, Adam

Year:

2019

File:

PDF, 2.26 MB

2019

7

SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS

HAREL, DAVID, KUGLER, HILLEL

Journal:

International Journal of Foundations of Computer Science

Year:

2002

Language:

english

File:

PDF, 3.60 MB

english, 2002

8

[ACM Press Companion of the 18th annual ACM SIGPLAN conference - Anaheim, CA, USA (2003.10.26-2003.10.30)] Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03 - Smart play-out

Harel, David, Kugler, Hillel, Marelly, Rami, Pnueli, Amir

Year:

2003

Language:

english

File:

PDF, 78 KB

english, 2003

9

A method to identify and analyze biological programs through automated reasoning

Yordanov, Boyan, Dunn, Sara-Jane, Kugler, Hillel, Smith, Austin, Martello, Graziano, Emmott, Stephen

Journal:

npj Systems Biology and Applications

Year:

2016

Language:

english

File:

PDF, 4.31 MB

english, 2016

10

Formal Analysis of Network Motifs Links Structure to Function in Biological Programs

Dunn, Sara-Jane, Kugler, Hillel, Yordanov, Boyan

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2019

Language:

english

File:

PDF, 2.44 MB

english, 2019

11

How computational models contribute to our understanding of the germ line

Atwell, Kathryn, Dunn, Sara-Jane, Osborne, James M., Kugler, Hillel, Hubbard, E. Jane Albert

Journal:

Molecular Reproduction and Development

Year:

2016

Language:

english

File:

PDF, 2.05 MB

english, 2016

12

Formal Analysis of Network Motifs Links Structure to Function in Biological Programs

Dunn, Sara-Jane, Kugler, Hillel, Yordanov, Boyan

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2019

File:

PDF, 2.44 MB

2019

13

Discovering Essential Multiple Gene Effects through Large Scale Optimization: an Application to Human Cancer Metabolism

Occhipinti, Annalisa, Hamadi, Youssef, Kugler, Hillel, Wintersteiger, Christoph, Yordanov, Boyan, Angione, Claudio

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2020

File:

PDF, 8.85 MB

2020

14

[IEEE 2013 IEEE 9th International Conference on eScience (eScience) - Beijing, China (2013.10.22-2013.10.25)] 2013 IEEE 9th International Conference on e-Science - Biocharts: Unifying Biological Hypotheses with Models and Experiments

Year:

2013

Language:

english

File:

PDF, 1.39 MB

english, 2013

15

International labor and capital flows: Complements or substitutes?

Maurice Kugler, Hillel Rapoport

Journal:

Economics Letters

Year:

2007

Language:

english

File:

PDF, 122 KB

english, 2007

16

[ACM Press Companion of the 17th annual ACM SIGPLAN conference - Seattle, Washington (2002.11.04-2002.11.08)] Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02 - Specifying and executing requirements

Marelly, Rami, Harel, David, Kugler, Hillel

Year:

2002

Language:

english

File:

PDF, 214 KB

english, 2002

17

Formalizing UML Models and OCL Constraints in PVS

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 242 KB

english, 2005

18

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

Pierre Combes, David Harel, Hillel Kugler

Journal:

Software & Systems Modeling

Year:

2008

Language:

english

File:

PDF, 2.03 MB

english, 2008

19

[ACM Press the 2008 Conference - Toronto, Ontario, Canada (2008.11.03-2008.11.05)] Proceedings of the 2008 Conference on Future Play Research, Play, Share - Future Play '08 - Crafting game-models using reactive system design

Harel, David, Segall, Itai, Kugler, Hillel, Setty, Yaki

Year:

2008

Language:

english

File:

PDF, 1.81 MB

english, 2008

20

A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification

Na'aman Kam, Hillel Kugler, Rami Marelly, Lara Appleby, Jasmin Fisher, Amir Pnueli, David Harel, Michael J. Stern, E. Jane Albert Hubbard

Journal:

Developmental Biology

Year:

2008

Language:

english

File:

PDF, 594 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски